Jan Willem Klop
Jan Willem Klop is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University. Klop is known for his work on the Algebra of Communicating Processes, co-author of TeReSe and his fixed point combinator
- Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L)
where
- L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))
External links
| Persondata |
| Name |
Klop, Jan Willem |
| Alternative names |
|
| Short description |
|
| Date of birth |
|
| Place of birth |
|
| Date of death |
|
| Place of death |
|